Synchronizing generalized monotonic automata
نویسندگان
چکیده
منابع مشابه
Synchronizing groups and automata
Pin showed that every p-state automaton (p a prime) containing a cyclic permutation and a non-permutation has a synchronizing word of length at most (p− 1). In this paper we consider permutation automata with the property that adding any non-permutation will lead to a synchronizing word and establish bounds on the lengths of such synchronizing words. In particular, we show that permutation grou...
متن کاملExperiments with Synchronizing Automata
We have improved an algorithm generating synchronizing automata with a large length of the shortest reset words. This has been done by refining some known results concerning bounds on the reset length. Our improvements make possible to consider a number of conjectures and open questions concerning synchronizing automata, checking them for automata with a small number of states and discussing th...
متن کاملSynchronizing weighted automata
We introduce two generalizations of synchronizability to automata with transitions weighted in an arbitrary semiring K = (K,+, ·,0,1). For states p,q and word u, let (pu)q ∈ K denote the sum of the weights of all u-labeled paths from p to q, with the weigth of a path being the product of the weights of its edges, as usual. We call the automaton A location-synchronizable if ∃q,u: ∀p,r (pu)r 6= 0...
متن کاملSynchronizing Automata with Extremal Properties
We present a few classes of synchronizing automata exhibiting certain extremal properties with regard to synchronization. The first is a series of automata with subsets whose shortest extending words are of length Θ(n 2), where n is the number of states of the automaton. This disproves a conjecture that every subset in a strongly connected synchronizing automaton is cn-extendable, for some cons...
متن کاملSynchronizing Automata of Bounded Rank
We reduce the problem of synchronization of an n-state automaton with letters of rank at most r < n to the problem of synchronization of an r-state automaton with constraints given by a regular language. Using this technique we construct a series of synchronizing n-state automata in which every letter has rank r < n and whose reset threshold is at least r − r − 1 Moreover, if r > n 2 , such aut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2005
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2004.09.006